We study the cube of type assignment systems, as introduced in Giannini et al. 87–126), and confront it with Barendregt's typed gl-cube . The first is obtained from the latter through applying a natural type erasing function E to derivation rules, that erases type information from terms. In particular, we address the question whether a judgement, derivable in a type assignment system, is always an erasure of a derivable judgement in a corresponding typed system; we show that this property holds (...) only for systems without polymorphism. The type assignment systems we consider satisfy the properties ‘subject reduction’ and ‘strong normalization’. Moreover, we define a new type assignment cube that is isomorphic to the typed one. (shrink)

Spatial memory relies on encoding, storing, and retrieval of knowledge about objects’ positions in their surrounding environment. Blind people have to rely on sensory modalities other than vision to memorize items that are spatially displaced, however, to date, very little is known about the influence of early visual deprivation on a person’s ability to remember and process sound locations. To fill this gap, we tested sighted and congenitally blind adults and adolescents in an audio-spatial memory task inspired by the classical (...) card game “Memory.” In this research, subjects had to find pairs among sounds displaced on an audio-tactile device composed of loudspeakers covered by tactile sensors. To accomplish this task, participants had to remember the spatialized sounds’ position and develop a proper mental spatial representation of their locations. The test was divided into two experimental conditions of increasing difficulty dependent on the number of sounds to be remembered. Results showed that sighted participants outperformed blind participants in both conditions. Findings were discussed considering the crucial role of visual experience in properly manipulating auditory spatial representations, particularly in relation to the ability to explore complex acoustic configurations. (shrink)

This paper argues that: (a) the transmitted text of Pind. Nem. 3.35–6 ποντίαν Θέτιν κατέμαρψεν | ἐγκονητί (‘[Peleus] caught the sea-nymph Thetis quickly’) is not the original text of Pindar; (b) ἐγκονητί does not fit the context, is not an attested Greek word and should be eliminated from dictionaries of ancient Greek; (c) Byzantine etymological works, followed by many modern scholars, base their explanations on the late antique form ἀκονητί, which should be eliminated from classical, Hellenistic and imperial texts; (d) (...) the tradition of the Etymologicum Magnum knows the variant ἐγκονιτί (conjectured for Pindar by Bergk) ‘with dust’ (‘with effort’), which seems presupposed by the scholia on Pindar; (e) the form ἐγκονιτί (created on the pattern of ἀκονιτί) is to be preferred in Pindar for reasons of language and content and should be added to the dictionaries of ancient Greek. (shrink)

Nel mio articolo propongo una lettura dei §§ 79-84 della Critica del Giudizio, parte della sezione Metodologia del Giudizio teleologico. Dapprima mi interrogo sul significato di una Methodenlehre del Giudizio teleologico, che rintraccio in un’attività metariflessiva del Giudizio; procedo poi ad una lettura analitica del testo nelle sue varie articolazioni, nella quale passo in rassegna le questioni attinenti alla specificità dello statuto epistemologico della teleologia, alla possibile convivenza tra finalismo e meccanicismo nella scienza della natura, all’origine (...) della vita, allo scopo ultimo della natura e allo scopo finale della creazione; approdo, infine, ad un’interpretazione per cui l’intera teleologia rationis humanae, che si estende dalla teleologia naturale alla teleologia morale passando per l’antropologia e per la filosofia della storia, viene in questa sezione riarticolata intorno ad un nuovo fulcro concettuale di livello trascendentale, che può garantire l’effettivo collegamento tra queste diverse parti della filosofia proprio perché esso non si esercita in forma di dominio legislativo, ma in forma di riflessione sul molteplice empirico e sulla causalità teleologica propria dell’uomo. (shrink)

1. Critica de capire e altri scritti. 2. Scritti kantiani. 3. L'analitica trascendentale. 4. Il problema della scienza e il giudizio storico.

1. Teoria del diritto -- 2. Teoria della democrazia -- 3. La sintassi del diritto.

L’ordinamento cosmico rappresenta il punto di riferimento costante dell’agire morale della creatura, che deve misurare le sue scelte preferendo sempre gli esseri-beni oggettivamente superiori a quelli inferiori. La virtù della scelta ordinata non è altro che la giustizia, come trasversalmente affermato nelle opere di Agostino d’Ippona. Il presente contributo intende mostrare come, sul piano creaturale, la dinamica della scelta ordinata rimane invariata con la teologia della grazia indebita sviluppata a partire dall’ _ Ad Simplicianum _. In (...) particolare, si intende evidenziare il passaggio da una visione che individua nella creatura stessa, aiutata da Dio, la causa prima della sua volontà morale, presente nelle opere precedenti il 397, a una decisamente più radicale, successiva a questa data, che invece individua tale causa nell’operare efficiente e predestinato di Dio. Quest’ultima posizione mostra il duplice vantaggio di risolvere alcuni paradossi impliciti nella riflessione precedente, senza smentire la forma (ordinata) della giustizia, sebbene non possa evitare di ridimensionare il ruolo della creatura in relazione ai suoi meriti. _ The cosmic order represents the focal point of reference for moral agents, who must evaluate their choices based on the degree of perfection rather than settling for inferiour objects or beings. According to Augustine of Hippo, justice is the virtue of ordered choice. The present contribution aims to show how, from the viewpoint of the creature, the structure of ordered choice does not change even when the theology of grace is developed in Ad Simplicianum. In particular, the essay focuses on the shift from an earlier view, developed before 397, that places the original cause of good will in the creature itself, along with God’s assistance, to a later and more radical perspective that sees God’s role as the exclusive source of good will through efficient and predestined intervention. The latter viewpoint has the dual advantage of unfolding some paradoxes of the previous perspective, while still maintaining the (ordered) form of justice, although it inevitably limits the role of creatures in relation to their merits. _. (shrink)

Principi e ordinamento romano : una riflessione sulle orme di Fritz Schulz -- Homo liber e homo sacer : due archetipi dell'appartenenza -- L'humanitas tra diritto romano e totalitarismo hitleriano -- Sull'eccezione di dolo generale -- L'arbitraggio sul prezzo -- Diritto romano e scienza del diritto -- Roma e i suoi giuristi nel pensiero di Nicolás Gómez Dávila -- Tradizione e misura umana del diritto: considerazioni sulla figura del giurista a partire da Giuseppe Grosso.